Chinese translation for "model checking"

模型置信度

Example Sentences:

	1.	Direct model checking matrix algorithm 直接模型检测矩阵算法
	2.	Strategy to group partitioned transition relationship in model checking 模型检验中迁移关系的分组策略
	3.	Two ford models checked in last week 上周有两个杂志模特
	4.	Remove irrelevant atomic formulas for timed automaton model checking 时间自动机的模型检验中消除无关原子约束
	5.	Analysis of contract signing protocol based on probabilistic model checking 基于概率模型检测的合同签订协议分析
	6.	Algebraic model for distributed state machine and its model checking algorithm 分布式状态机的代数模型及其模型检验算法
	7.	A model checking algorithm for temporal logics of knowledge in multi - agent systems 多智体系统时态认知规范的模型检测算法
	8.	Model checking is an important technology of automatic verification 模型检验( modelchecking )是一种重要的自动验证技术。
	9.	An approach of model checking uml statecharts is presented in this paper 本文提出了对umlstatecharts进行模型检验的方法。
	10.	Model checking is then used to check whether a program has a given property 然后使用模型检查来检验一个程序是否有某个给定特性。

Similar Words：

"model center" Chinese translation, "model centre" Chinese translation, "model change" Chinese translation, "model characteristics" Chinese translation, "model check" Chinese translation, "model chromosphere" Chinese translation, "model city for environmental protection" Chinese translation, "model city of water co ervation" Chinese translation, "model city of water conservation" Chinese translation, "model city of water consevation" Chinese translation